COMMENT ā VALID 00002 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 (setq pat '(($r ?a recura) ($r ?b recurb)))
C00003 ENDMK
Cā;
(setq pat '(($r ?a recura) ($r ?b recurb)))
(setq dat '(((a))((((b))))))
(defun recura (x)
(cond ((atom x) (eq x 'a))
(t
(%umatch '(($r ?a recura)) x))))
(defun recurb (x)
(cond ((atom x) (eq x 'b))
(t
(%umatch '(($r ?a recurb)) x))))
(%umatch pat dat)